This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Crítica y metafísica es una compilación de artículos sobre la filosofía de Immanuel Kant, reunidos para rendir homenaje a la trayectoria de Mario Caimi en el ámbito de los estudios kantianos. Los trabajos que integran este volumen han sido elaborados por algunos de los especialistas más destacados, provenientes de distintos lugares del mundo, y abordan diversos aspectos del pensamiento de Kant. Mario Caimi (* 1947) ha sido profesor titular de filosofía moderna en la Universidad de Buenos Aires, y (...) se desempeña actualmente como Investigador superior en el Consejo Nacional de Investigaciones Científicas y Técnicas de la República Argentina. Es autor de numerosos trabajos sobre la filosofía de Kant, y ha traducido al español algunas de las obras más importantes del filósofo. En 2010 recibió el Kant-Preis, otorgado por la Kant-Gesellschaft, como reconocimiento a su destacada trayectoria. Crítica y metafísica ist ein Sammelband über die Philosophie Immanuel Kants, der den Werdegang Mario Caimis im Bereich der Kant-Studien würdigen möchte. Die hier gesammelten Beiträge wurden von einigen der anerkanntesten Kant-Spezialisten aus verschiedenen Ländern verfasst und behandeln diverse Aspekte des kantischen Denkens. Mario Caimi (* 1947) war Lehrstuhlinhaber für Philosophie der Neuzeit an der Universität von Buenos Aires und ist zur Zeit als investigador superior beim Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) der Republik Argentinien tätig. Er ist Autor mehrerer Aufsätze über die Philosophie Kants und hat einige der wichtigsten Werke dieses Philosophen übersetzt. 2010 erhielt er den von der Internationalen Kant-Gesellschaft verliehenen Kant-Preis in Anerkennung seines Werdegangs. (shrink)

Este artículo reseña: Harold BERTOT TRIANA, Estudios sobre jurisprudencia de la Corte Interamericana de derechos humanos. Cavilaciones al hilo de temas actuales del sistema interamericano de derechos humanos.

It is usually supposed that the Dirac and radiation equations predict that the phase of a fermion will rotate through half the angle through which the fermion is rotated, which means, via the measured dynamical and geometrical phase factors, that the fermion must have a half-integral spin. We demonstrate that this is not the case and that the identical relativistic quantum mechanics can also be derived with the phase of the fermion rotating through the same angle as does the fermion (...) itself. Under spatial rotation and Lorentz transformation the bispinor transforms as a four-vector like the potential and Dirac current. Previous attempts to provide this form of transformational behavior have foundered because a satisfactory current could not be derived.(14). (shrink)

We have shown in a previous paper that the Dirac bispinor can vary like a four-vector and that Quantum Electrodynamics can be reproduced with this form of behaviour. In Part I of this paper, we show that QED with the same transformational behaviour also holds in an alternative space we call M-space. We use the four-vector behaviour to model the two-body interaction in M and show that this has similar physical properties to the usual model in L which it predicts. (...) In Part II of this paper we use M-space to show that QED can be reduced to two simple rules for a two-body interaction. (shrink)

We complete our previous(1, 2) demonstration that there is a family of new solutions to the photon and Dirac equations using spatial and temporal circles and four-vector behaviour of the Dirac bispinor. We analyse one solution for a bound state, which is equivalent to the attractive two-body interaction between a charged point particle and a second, which remains at rest. We show this yields energy and angular momentum eigenvalues that are identical to those found by the usual method of solving (...) of the Dirac equation,(4) including fine structure. We complete our previous derivation(2) of QED from a set of rules for the two-body interaction and generalise these. We show that QED may be decomposed into a two-body interaction at every point in spacetime. (shrink)

We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories.

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

Negar el libre albedrío implica que el ser humano no es libre por naturaleza, sino que puede llegar a serlo mediante un uso adecuado de su inteligencia; libertad que solo la consiguen los “sabios”. Por eso, cuando Spinoza entiende la democracia como la forma de gobierno que mejor defiende la libertad, esto vale para los “sabios”, pero no para el vulgo, que solo mediante el miedo y la esperanza es conducido a obrar según los dictados de la razón. ¿No será (...) esta indeseable consecuencia la que le impidió terminar su Tratado Político, precisamente cuando se aprestaba a estudiar la democracia? (shrink)

De manera inmediata y tradicional pensamos que hablar sobre política exige forzosamente ligarla a la idea de conflicto. Si bien es cierto que el carácter político marca ciertos modos de habitar el mundo, también es relevante aclarar que, a partir del concepto que tengamos de política, podremos darnos cuenta de si la idea de conflicto es inherente a esta o si la política puede ser pensada desde otro horizonte. Hans-Georg Gadamer nos ofrece una serie de reflexiones hermenéuticas en torno al (...) lenguaje y al diálogo; a partir de allí, intentamos atisbar un concepto de política no solo inherente al conflicto, sino también a su parte medular como lo es el diálogo prudente. Pensar en una política dentro del marco de un horizonte dialógico nos permite arrojar luz a problemas particulares que nos aquejan hoy, los cuales nos interpelan a pensar y repensarlos para comprender por qué hemos llegado a ser lo que somos. (shrink)

Responding to recent concerns about the reliability of the published literature in psychology and other disciplines, we formed the X-Phi Replicability Project to estimate the reproducibility of experimental philosophy. Drawing on a representative sample of 40 x-phi studies published between 2003 and 2015, we enlisted 20 research teams across 8 countries to conduct a high-quality replication of each study in order to compare the results to the original published findings. We found that x-phi studies – as represented in our sample (...) – successfully replicated about 70% of the time. We discuss possible reasons for this relatively high replication rate in the field of experimental philosophy and offer suggestions for best research practices going forward. (shrink)

The BITrum glossary, planned as one of the first activities in the development of the BITrum project, essentially aims at serving as a tool for the clarification of concepts, theories and problems concerning information. Intending to embrace the most relevant points of view with respect to information, it is interdisciplinarily developed by a board of experts coming from a wide variety of scientific fields. The glossarium BITri kindly invites the scientific community to make contributions of any kind aimed at clarifying (...) in the field of information studies. (shrink)

There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) (...) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) = R for every $${R \in \mathcal{V}(F(p^k))}$$. In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

Appendix 1 was incomplete in the initial online publication. The original article has been corrected.

Rapid individual cognitive phenotyping holds the potential to revolutionize domains as wide‐ranging as personalized learning, employment practices, and precision psychiatry. Going beyond limitations imposed by traditional lab‐based experiments, new efforts have been underway toward greater ecological validity and participant diversity to capture the full range of individual differences in cognitive abilities and behaviors across the general population. Building on this, we developed Skill Lab, a novel game‐based tool that simultaneously assesses a broad suite of cognitive abilities while providing an engaging (...) narrative. Skill Lab consists of six mini‐games as well as 14 established cognitive ability tasks. Using a popular citizen science platform (N = 10,725), we conducted a comprehensive validation in the wild of a game‐based cognitive assessment suite. Based on the game and validation task data, we constructed reliable models to simultaneously predict eight cognitive abilities based on the users’ in‐game behavior. Follow‐up validation tests revealed that the models can discriminate nuances contained within each separate cognitive ability as well as capture a shared main factor of generalized cognitive ability. Our game‐based measures are five times faster to complete than the equivalent task‐based measures and replicate previous findings on the decline of certain cognitive abilities with age in our large cross‐sectional population sample (N = 6369). Taken together, our results demonstrate the feasibility of rapid in‐the‐wild systematic assessment of cognitive abilities as a promising first step toward population‐scale benchmarking and individualized mental health diagnostics. (shrink)

La última noche es un catálogo fotográfico lanzado en 2018 por el artista vallecaucano Juan José Horta, fruto de una edición e impresión independientes, llevadas a cabo mediante microfinanciación colectiva. El trabajo presenta de modo alternativo una de tantas instancias del proceso de paz en Colombia, culminado protocolariamente con la firma del acuerdo de septiembre de 2016: un episodio de desmovilización y entrega de armas por parte de miembros del grupo rebelde al margen de la ley Fuerzas Armadas Revolucionarias de (...) Colombia. Por tanto, La última noche se enmarca en la temática del llamado pos-conflicto. (shrink)

In this work we provide a new topological representation for implication algebras in such a way that its one-point compactification is the topological space given in [1]. Some applications are given thereof.

Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...) as evidenced by metric invariance between countries (CFI = 0.96, RMSEA = 0.06, SRMS = 0.07) as well as scalar invariance across genders (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03) and educational levels (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03). Also, lower levels of education, more fear of COVID-19, and more cynicism were weakly associated with stronger conspiracy and health beliefs. The study contributes to knowledge about the structure of unfounded beliefs, and reveals the potential relevance of affective (i.e., fear of COVID-19) and cognitive (i.e., cynicism) factors along with demographics, in endorsing such beliefs. In summary, we obtained cross-cultural evidence for the distinctiveness of unfounded conspiracy and health beliefs about COVID-19 in terms of their structure and correlates. (shrink)

Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...) as evidenced by metric invariance between countries (CFI = 0.96, RMSEA = 0.06, SRMS = 0.07) as well as scalar invariance across genders (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03) and educational levels (CFI = 0.98, RMSEA = 0.04, SRMS = 0.03). Also, lower levels of education, more fear of COVID-19, and more cynicism were weakly associated with stronger conspiracy and health beliefs. The study contributes to knowledge about the structure of unfounded beliefs, and reveals the potential relevance of affective (i.e., fear of COVID-19) and cognitive (i.e., cynicism) factors along with demographics, in endorsing such beliefs. In summary, we obtained cross-cultural evidence for the distinctiveness of unfounded conspiracy and health beliefs about COVID-19 in terms of their structure and correlates. (shrink)

About one third of patients with epilepsy have seizures refractory to the medical treatment. Electrical stimulation mapping is the gold standard for the identification of “eloquent” areas prior to resection of epileptogenic tissue. However, it is time-consuming and may cause undesired side effects. Broadband gamma activity recorded with extraoperative electrocorticography during cognitive tasks may be an alternative to ESM but until now has not proven of definitive clinical value. Considering their role in cognition, the alpha and beta bands could further (...) improve the identification of eloquent cortex. We compared gamma, alpha and beta activity, and their combinations for the identification of eloquent cortical areas defined by ESM. Ten patients with intractable focal epilepsy participated in a delayed-match-to-sample task, where syllable sounds were compared to visually presented letters. We used a generalized linear model approach to find the optimal weighting of each band for predicting ESM-defined categories and estimated the diagnostic ability by calculating the area under the receiver operating characteristic curve. Gamma activity increased more in eloquent than in non-eloquent areas, whereas alpha and beta power decreased more in eloquent areas. Diagnostic ability of each band was close to 0.7 for all bands but depended on multiple factors including the time period of the cognitive task, the location of the electrodes and the patient’s degree of attention to the stimulus. We show that diagnostic ability can be increased by 3–5% by combining gamma and alpha and by 7.5–11% when gamma and beta were combined. We then show how ECoG power modulation from cognitive testing can be used to map the probability of eloquence in individual patients and how this probability map can be used in clinical settings to optimize ESM planning. We conclude that the combination of gamma and beta power modulation during cognitive testing can contribute to the identification of eloquent areas prior to ESM in patients with refractory focal epilepsy. (shrink)

In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬ x ∨ ¬¬ x = 1. Some applications are given.